#ifndef SCHEDULER_H
#define SCHEDULER_H

#include "process_management.h"
#include "types.h"

/* global variables  */
PCB* ready_queue[NUMBER_MAX_PROCESSES],waiting_queue[NUMBER_MAX_PROCESSES];
uint32_t in_ready_queue[MAX_PRIORITY]; /* this array will count the number of processes of each priority level in the queue */

/* functions declarations */

/* select the process that is to be run according to our policy */
void schedule();

#endif
